Integer overflow - PDFSEARCH.IO - Document Search Engine

Integer overflow
Results: 37

#	Item
21	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Data types Computer arithmetic C programming language Primitive types Software bugs Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
22	A Differential Approach to Undefined Behavior Detection by Xi Wang B.E., Computer Science (2005); M.E., Computer Science[removed]Tsinghua University Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-04-12 14:06:01 Computer programming Programming language implementation C++ Pointer C Undefined behavior Integer overflow Stack Uninitialized variable Software engineering Computing Software bugs
23	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Data types Computer arithmetic C programming language Primitive types Software bugs Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
24	Journal of Computer Security–1107 DOIJCSIOS Press 1083 Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2012-05-09 22:37:04 Computer programming Integer overflow Buffer overflow Heap overflow Vulnerability Fixed-point arithmetic C Type system Infinite loop Software bugs Computing Software engineering
25	IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution Tielei Wang† , Tao Wei†∗, Zhiqiang Lin‡ , Wei Zou† † Key Laboratory of Network and Software Security As Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2009-01-16 17:24:00 X86 architecture Data types Assembly languages Decompiler X86 assembly language C++ MOV X86 C++ classes Computer architecture Computing Software engineering
26	newsflash < technology corner > Dealing with Integer Overflow Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-02-01 09:14:51 AdaCore GNAT Programming Studio GNAT Ada Lego Mindstorms SPARK A Sharp Robert Dewar GNU Compiler Collection Computing Software Ada programming language
27	Microsoft Windows LoadImage API Function Integer Overflow Vulnerability 分類再現性 Boundary Condition Error/受動的攻撃 Add to Reading List Source URL: www.npa.go.jp Language: Japanese
28	Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Software engineering Valgrind Integer overflow Infinite loop Memory safety Fuzz testing Stack Pointer Symbolic execution Computer programming Software bugs Computing
29	Fall[removed]UNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2007-08-24 18:41:19 Computer arithmetic Data types Primitive types Pointer Arbitrary-precision arithmetic Floating point Binary-coded decimal Integer overflow Integer Computing Software engineering Computer programming
30	Buffer Overflow Semantic template CWE 2.0 SOFTWARE-FAULT INCORRECT SIGN CONVERSION AND TRUNCATION #194 #195 #196 Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2011-07-14 11:02:41 Computer programming Software bugs Primitive types Pointer Buffer overflow Stack Circular buffer C Integer overflow Computing Software engineering Data types